#include <stdio.h>

#pragma config WDT = OFF

void main (void)
{
  int result = 0;
  result = printf ("\nHello, world!");
  result = printf ("\n\r%u",0x10);
  while (1);
}
